741. The adventure of reason :
پدیدآورنده: Paolo Mancosu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
742. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
743. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
744. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
745. The applicability of mathematics as a philosophical problem
پدیدآورنده: Steiner, Mark
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematical physics,، Mathematics -- Philosophy
رده :
QC
20
.
S76A6
746. The architecture of modern mathematics :essays in history and philosophy
پدیدآورنده: edited by J. Ferreirعos and J.J. Gray
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: History Philosophy ، Mathematics,History ، Mathematics - 81th century,History ، Mathematics - 91th century,History ، Mathematics - 02th century
رده :
QA21
.
A73
2006
747. The autonomy of mathematical knowledge : Hilbert's program revisited
پدیدآورنده: Franks, Curtis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Hilbert, David, 2681-3491,Philosophy ، Mathematics
رده :
QA
8
.
4
.
F72A9
748. The axiomatic method; an introduction to mathematical logic
پدیدآورنده: Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
749. The common sense of the exact sciences
پدیدآورنده: Clifford, William Kingdon, 5481-9781
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Philosophy ، Mathematics
رده :
QA
9
.
C5C6
750. The common sense of the exact sciences
پدیدآورنده: Clifford, William Kingdon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics - Philosophy
رده :
QA
9
.
C63
1996
751. The common sense of the exact sciences
پدیدآورنده: Clifford, William Kingdon
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy
رده :
QA
9
.
C63
1996
752. The concept of model :
پدیدآورنده: Alain Badiou ; edited and translated by Zachary Luke Fraser and Tzuchien Tho
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Philosophy,Model theory
753. The conceptual roots of mathematics : an essay on the philosophy of mathematics
پدیدآورنده: Lucas, John Randolph, 9291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy
رده :
QA
8
.
4
.
L82C6
754. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده: / Kurt Godel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
755. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
756. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
757. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
758. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
759. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
760. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
